ground clause

ground clause
мат.
основной дизъюнкт

English-Russian scientific dictionary. 2008.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "ground clause" в других словарях:

  • Ground expression — In mathematical logic, a ground term of a formal system is a term that does not contain any variables at all, and a closed term is a term that has no free variables. In first order logic all closed terms are ground terms, but in lambda calculus… …   Wikipedia

  • Privileges or Immunities Clause — Amendment XIV, Section 1, Clause 2 of the United States Constitution is known as the Privileges or Immunities Clause. It states:Drafting and adoptionThe primary author of the Privileges or Immunities Clause was Congressman John Bingham of Ohio.… …   Wikipedia

  • No-contest clause — Wills, trusts and estates …   Wikipedia

  • The Santa Clause — Infobox Film caption=Theatrical Release Poster name=The Santa Clause director=John Pasquin writer=Leo Benvenuti Steve Rudnick starring=Tim Allen Eric Lloyd Wendy Crewson Judge Reinhold David Krumholtz Peter Boyle producer=Robert Newmyer Brian… …   Wikipedia

  • incontestability clause — in·con·tes·ta·bil·i·ty clause /ˌin kən ˌtes tə bi lə tē / n: a clause in an insurance policy that forbids the insurer from disputing the policy (as on the ground that the insured made false statements) after a set period of time Merriam Webster’s …   Law dictionary

  • Objects clause — An objects clause is a provision in a company s constitution stating the purpose and range of activities for which the company is carried on. In UK company law up until reforms in the Companies Act 1989 and the Companies Act 2006, an objects… …   Wikipedia

  • Adequate and independent state ground — The adequate and independent state ground doctrine is a doctrine of United States law governing the power of the U.S. Supreme Court to review judgments entered by state courts. Introduction It is part of the basic framework of the American legal… …   Wikipedia

  • Castle doctrine — A Castle Doctrine (also known as a Castle Law or a Defense of Habitation Law) is an American legal doctrine arising from English common law[1] that designates one s place of residence (or, in some states, any place legally occupied, such as one s …   Wikipedia

  • Castle Doctrine in the United States — A Castle Doctrine (also known as a Castle Law or a Defense of Habitation Law) is an American legal concept derived from English Common Law, which designates one s place of residence (or, in some states, any place legally occupied, such as one s… …   Wikipedia

  • HEBREW LANGUAGE — This entry is arranged according to the following scheme: pre biblical biblical the dead sea scrolls mishnaic medieval modern period A detailed table of contents precedes each section. PRE BIBLICAL nature of the evidence the sources phonology… …   Encyclopedia of Judaism

  • Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»